An ASM Refinement and Implementation of the Condor System using Ordinal Conditional Functions

A high-level ASM specification of Condor, a system providing powerful methods for managing beliefs induced by general conditionals, is refined to qualitative conditional logics, leading to an ASM implementation. The semantics of this logic are given by ordinal conditional functions (OCFs) ordering worlds according to their plausibility. OCFs are used to represent the epistemic state of an agent carrying out knowledge management tasks like answering queries, performing diagnosis and hypothetical reasoning, or revising and updating its own state of belief in the light of new information. The ASM methodology allows us to precisely describe these knowledge management operations and clarify various subtleties.